First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
61	A theory of granular parthood based on qualitative cardinality and size measures Thomas BITTNER1,2,3,4 and Maureen DONNELLY1,3 1 Department of Philosophy, 2 Department of Geography 3 Add to Reading List Source URL: www.acsu.buffalo.edu Language: English - Date: 2006-11-21 12:49:37 Mathematics Algebra Abstract algebra Finite fields Cardinality First-order logic XTR Limit of a function Metric Algebraic number field Lambda lifting
62	A tetrachotomy for positive first-order logic without equality Florent Madelaine Barnaby Martin Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2011-04-03 11:35:00 Mathematics Theoretical computer science Abstract algebra FO Finite model theory Sheaf Boolean satisfiability problem Uniform space
63	Advances in Cognitive SystemsSubmitted; publishedLearning General and Efficient Representations of Novel Games Through Interactive Instruction Add to Reading List Source URL: www.cogsys.org Language: English - Date: 2016-06-16 21:35:25 Logic Linguistics Philosophy Grammar Predicate logic Mathematical logic Propositional calculus Ontology Predicate Argument First-order logic Clause
64	LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Theoretical computer science Mathematical logic Logic in computer science Automated theorem proving Proof assistants Formal methods Type theory Isabelle First-order logic Logic for Computable Functions Unification HOL
65	Notation - Book of Abstracts Add to Reading List Source URL: www.ttu.ee Language: English - Date: 2015-07-31 07:31:26 Logic Philosophy Abstraction Philosophical logic Existential graph Diagrammatic reasoning Quantifier First-order logic Charles Sanders Peirce Polish notation Philosophy of logic Principia Mathematica
66	PROGRAMS WITH COMMON SENSE John McCarthy Computer Science Department Stanford University Stanford, CA 94305 Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:16:08 Logic Reasoning Logic programming Logical truth Propositional calculus Logical consequence Advice taker Logic Theorist Argument Rule of inference Substitution First-order logic
67	Bayesian Network Inference Approach to probe Foodweb interactions between herring and zooplankton in the Irish Sea Add to Reading List Source URL: community.haskell.org Language: English - Date: 2013-10-12 04:58:09 Software engineering Computer programming Declarative programming Literate programming Functional programming Monad Haskell Inline expansion First-order logic
68	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2013-01-15 03:40:14 Mathematics Logic Software engineering Mathematical proofs Automated theorem proving Functional languages Literate programming Graph theory Structural induction Rippling Five lemma First-order logic
69	1 Finding Almost-Invariants in Distributed Systems Maysam Yabandeh‡ , Abhishek Anand† , Marco Canini∗ , and Dejan Kosti´c∗ ∗ EPFL, Lausanne, Switzerland † Cornell University, Ithaca NY, USA, (work done duri Add to Reading List Source URL: perso.uclouvain.be Language: English - Date: 2014-02-09 12:29:53 Logic Mathematical logic Computing Formal methods Predicate logic Finite model theory Computer programming Invariant First-order logic Daikon FO Chord
70	predicate logic logical verification week Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2004-12-15 12:39:18 Logic Mathematical logic Predicate logic Propositional calculus Model theory Syntax First-order logic Well-formed formula Proposition Functional predicate Predicate variable Universal quantification